In memoriam: Clarence Irving Lewis (1883--1964).

Warren Harmon Lewis (1870-1964)

As one of the first to work at the Carnegie Institution of Washington [5] Department of Embryology, Warren Harmon Lewis made a number of contributions to the field of embryology [6]. In addition to his experimental discoveries on muscle development and the eye, Lewis also published and revised numerous works of scientific literature, including papers in the Carnegie Contributions to Embryology ...

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

In Memoriam-Professor Ajit K.Padhy

No abstract available

Clarence Henry Graham.

Clarence Cook Little.